One-Reversal Counter Machines and Multihead Automata: Revisited

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Ehsan Chiniforooshan | Mark Daley | Oscar H. Ibarra | Lila Kari | Shinnosuke Seki

SOFSEM 2011: Theory and Practice of Computer Science

BOOK published 2011 in Lecture Notes in Computer Science

Editors: Ivana Černá | Tibor Gyimóthy | Juraj Hromkovič | Keith Jefferey | Rastislav Králović | Marko Vukolić | Stefan Wolf

Integrity and Consistency for Untrusted Services

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Christian Cachin

Structural Properties of Hard Metric TSP Inputs

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tobias Mömke

On Approximating the d-Girth of a Graph

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: David Peleg | Ignasi Sau | Mordechai Shalom

Quantum Finite One-Counter Automata

BOOK CHAPTER published 1999 in SOFSEM’99: Theory and Practice of Informatics

Authors: Maksim Kravtsev

Conjugacy of One-Dimensional One-Sided Cellular Automata is Undecidable

BOOK CHAPTER published 2018 in SOFSEM 2018: Theory and Practice of Computer Science

Authors: Joonatan Jalonen | Jarkko Kari

Iterated Hairpin Completions of Non-crossing Words

BOOK CHAPTER published 2012 in SOFSEM 2012: Theory and Practice of Computer Science

Authors: Lila Kari | Steffen Kopecki | Shinnosuke Seki

On Stateless Multihead Finite Automata and Multihead Pushdown Automata

BOOK CHAPTER published 2009 in Developments in Language Theory

Authors: Pierluigi Frisco | Oscar H. Ibarra

Efficient Algorithms for Handling Nondeterministic Automata

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Tomáš Vojnar

Automata Classes Accepting Languages Whose Commutative Closure is Regular

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Stefan Hoffmann

Combinatorics of Block-Parallel Automata Networks

BOOK CHAPTER published 2024 in Lecture Notes in Computer Science

Authors: Kévin Perrot | Sylvain Sené | Léah Tapin

On Synchronized Multitape and Multihead Automata

BOOK CHAPTER published 2011 in Descriptional Complexity of Formal Systems

Authors: Oscar H. Ibarra | Nicholas Q. Tran

An Automata-Theoretical Characterization of Context-Free Trace Languages

BOOK CHAPTER published 2011 in SOFSEM 2011: Theory and Practice of Computer Science

Authors: Benedek Nagy | Friedrich Otto

SOFSEM 2023: Theory and Practice of Computer Science

BOOK published 2023 in Lecture Notes in Computer Science

Editors: Leszek Gąsieniec

Counting Infinitely by Oritatami Co-transcriptional Folding

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Kohei Maruyama | Shinnosuke Seki

Quantum versus Probabilistic One-Way Finite Automata with Counter

BOOK CHAPTER published 2001 in SOFSEM 2001: Theory and Practice of Informatics

Authors: Richard Bonner | Rūsiņš Freivalds | Maksim Kravtsev

SOFSEM 2024: Theory and Practice of Computer Science

BOOK published 2024 in Lecture Notes in Computer Science

Editors: Henning Fernau | Serge Gaspers | Ralf Klasing

Concatenation Operations and Restricted Variants of Two-Dimensional Automata

BOOK CHAPTER published 2021 in SOFSEM 2021: Theory and Practice of Computer Science

Authors: Taylor J. Smith | Kai Salomaa

A Characterization of the Context-Free Languages by Stateless Ordered Restart-Delete Automata

BOOK CHAPTER published 2020 in SOFSEM 2020: Theory and Practice of Computer Science

Authors: Friedrich Otto